Issue1639.agda:5,5-12
A data definition can only contain type signatures, possibly under
keyword instance
